Comonoids in chu

نویسندگان

چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Comonoids in chu: a large cartesian closed sibling of topological spaces

ComK may be defined as the (cartesian closed) category of comonoids in chuK , or equivalently as dictionaries D for which any crossword over D has its main diagonal in D. Com2 resembles Top, ordinary topological spaces. Common to both are the Alexandroff posets and the Scott DCPOs, while the topological space R and the dual DCPO {−∞ < . . . < −2 < −1 < 0} jointly witness the incomparability of ...

متن کامل

Jeannette Bigler , Chu

A method is presented for the analysis of fluorescently labeled random amplified polymorphic DNA (FRAPD) fragments. A DNA sequencer and collection and analysis software were used to estimate the sizes of DNA fragments based on their mobilities relative to in-lane size markers. This allowed confident identification and comparison of FRAPD markers both within and between polyacrylamide gels. In c...

متن کامل

The Chu Construction

We take another look at the Chu construction and show how to simplify it by looking at it as a module category in a trivial Chu category This simpli es the construction substantially especially in the case of a non symmetric biclosed monoidal category We also show that if the original category is accessible then for any of a large class of polynomial like functors the category of coalgebras has...

متن کامل

CRL-Chu Correspondences

We continue our study of the general notion of L-Chu correspondence by introducing the category CRL-ChuCors incorporating residuation to the underlying complete lattice L, specifically, on the basis of a residuation-preserving isotone Galois connection λ. Then, the L-bonds are generalized within this same framework, and its structure is related to that of the extent of a suitably defined λ-dire...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Electronic Notes in Theoretical Computer Science

سال: 2003

ISSN: 1571-0661

DOI: 10.1016/s1571-0661(04)80644-3